Scenario-Based Evaluation of Abstract State Machines
نویسندگان
چکیده
In this paper we suggest a scenario-based approach to analyzing non-functional properties of ASM ground models. It is based on well-founded evaluation methods from the software architecture field and enables a designer to reason about the quality features of his model, like e. g. maintainability or testability. A set of scenarios that represent a system’s non-functional requirements and the evaluation of these with an ASM model can enable an improvement of the system’s qualities by using according structuring principles.
منابع مشابه
Scenario based Analysis of Linear Computations
In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of the system behavior. In order to solve it we suggest formalization of the notion of scenario and then discuss possible approaches to the classification of the computations.
متن کاملVerifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenario, the attacker and the communication between them.
متن کاملTowards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets
In this paper we propose a novel approach to high-level analysis of HW/SW systems based on abstract state machines, a state-based specification method with a rigorous mathematical semantics. As a step in the direction of a comprehensive analysis methodology, we show how to model instruction sets and how to instrument such models in order to collect experimental data which are relevant for the e...
متن کاملThe Model Integrated Computing Approach to Software Architecture
Model-based design is an approach to software architecture that supports the rapid evaluation of many different design alternatives evolving from a high-level specification. Model integrated computing[1] (MIC) is one manifestation of model-based design, which relies on semantic units[2] and model transformations[3][4] to rapidly construct and evaluate various refinement paths. Abstract state ma...
متن کاملIndustrial Productivity Scenario: An Evaluation of Industrial Estate at Vitthal Udyognagar in Anand District of Gujarat state, India
In the present age of cut-throat competition, it becomes highly necessary for an organization to be dynamic in the globalization era. This is possible only when the employees, employers and organizations are capable enough to cope up with the changing world scenario. In the rapidly changing environment, ‘human being’ is the most important and valuable resource to play vital role in every or...
متن کامل